ABS: *
ABS: s = t
ABS: s ~ t
ABS: Type
ABS: Void
ABS: any
ABS: Atom
ABS: "$token"
ABS:
ABS: Object
ABS: #$n
ABS: -n
ABS: n+m
ABS: n-m
ABS: n
m
ABS: n
m
ABS: n rem m
ABS: ind(v; x,y.d(x;y); b; w,z.u(w;z))
ABS: type List
ABS: nil
ABS: car.cdr
ABS: Case of a; nil
s ; x.y, rec:z
t(x;y;z)
ABS: left+right
ABS: inl(x)
ABS: inr(x)
ABS: Case b of inl(x)
s(x) ; inr(y)
t(y)
ABS: x:A
B(x)
ABS: <a,b>
ABS: A/x,y. B(x;y)
ABS: x:A
B(x)
ABS: {x | y:A 
B(x;y)}
ABS:
x:A. B(x)
ABS:
x.A(x)
ABS: f(a)
ABS: x,y:A//B(x;y)
ABS: {x:A| B(x) }
ABS: a<b
ABS: if a=b
Atom
c; d fi
ABS: if a=b
c ; d fi
ABS: if a<b
c ; d fi
ABS: recind(A; x,y. B(x;y))
ABS: rec(x.A(x))
ABS: t
T
ABS: Unit
ABS: True
ABS: False
ABS: P & Q
ABS: P
Q
ABS: P 
Q
ABS: P 
Q
ABS:
T
ABS:
A
ABS: a
b
ABS: P 
Q
ABS:
x:A. B(x)
ABS: 
x:A. B(x)
ABS:
x:A. B(x)
ABS: A
B
ABS: i
j
ABS: i>j
ABS: S
T